Communicating sequential processes - PDFSEARCH.IO - Document Search Engine

Communicating sequential processes
Results: 71

#	Item
21	Safe Parallelism for Robotic Control Matthew C. Jadud Christian L. Jacobsen, Carl G. Ritson, Jonathan Simpson Allegheny College Add to Reading List Source URL: www.transterpreter.org Language: English - Date: 2010-10-21 16:45:43 University of Kent Programming language implementation Procedural programming languages Virtual machines Concurrent computing Occam Transterpreter Transputer Communicating sequential processes Computing Software engineering Computer programming
22	Introduction to the Programming Language Occam By Dr. Daniel C. Hyde Department of Computer Science Bucknell University Add to Reading List Source URL: www.eg.bucknell.edu Language: English - Date: 1998-02-16 10:43:53 Procedural programming languages Occam Fellows of the Royal Society Source code Process calculi Transputer Communicating sequential processes David May Concurrent computing Computing Software engineering Computer programming
23	Using Message Passing for Distributed Programming: Proof Rules and Disciplines RICHARD D. SCHLICHTING University of Arizona FRED B. SCHNEIDER Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:54:40 Data Communicating sequential processes Concurrent computing Axiom Communications protocol Program logic Computing Process calculi Software
24	The "Hoare Logic" of CSP, and All That LESLIE LAMPORT SRI International and FRED B. SCHNEIDER Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:44:16 Program logic Concurrent computing Hoare logic Logic programming Communicating sequential processes Modal logic KeY Guarded Command Language Well-formed formula Logic Theoretical computer science Mathematics
25	Understanding i. and Using Asynchronous Message Passing (Preliminary Version) Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 11:28:52 Inter-process communication Concurrent computing Logic in computer science Process calculi Actor model Message passing Predicate transformer semantics Communicating sequential processes Assertion Computing Computer programming Theoretical computer science
26	Special Issue on Security for Network Society Falsification Prevention and Protection Technologies and Products A Behavior-Based Process Confinement Method and Its Application to a Server Security Solution “StarDefenc Add to Reading List Source URL: www.nec.com Language: English - Date: 2013-10-21 08:29:04 Queueing theory Business Probability and statistics Communicating sequential processes Statistics Network performance Operations research
27	http://golang.org Thursday, July 22, 2010 Go Rob Pike Emerging Languages Add to Reading List Source URL: cdn.oreillystatic.com Language: English - Date: 2010-07-22 14:57:53 Concurrent computing Procedural programming languages Process calculi Communicating sequential processes Occam Go Parallel computing Thread Tony Hoare Computing Software engineering Computer programming
28	Towards Composable Concurrency Abstractions∗ Janwillem Swalens, Stefan Marr, Joeri De Koster and Tom Van Cutsem Software Languages Lab, Vrije Universiteit Brussel, Belgium {jswalens,smarr,jdekoste,tvcutsem}@vub.ac.be Add to Reading List Source URL: stefan-marr.de Language: English - Date: 2014-02-17 14:05:31 Concurrency Concurrent computing Software transactional memory Clojure Actor model Futures and promises Linearizability Communicating sequential processes Lock Computing Concurrency control Transaction processing
29	Microsoft PowerPoint - Broenink2010SIMPARsimRobotWS.ppt Add to Reading List Source URL: www.best-of-robotics.org Language: English - Date: 2011-07-10 14:22:14 Simulation Communicating sequential processes Computing Science Abstraction Scientific modeling Bond graph Diagrams
30	Application For Child Support Services (CSF[removed]) Add to Reading List Source URL: oregonchildsupport.gov Language: English - Date: 2013-01-24 18:57:11 Family law Marriage Parenting Human behavior Child support Noncustodial parent Contact Child support in the United States Communicating sequential processes Family Child custody Divorce